open splenectomy